2481. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion, 5591-
کتابخانه: (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
129
2482. Virtual memory management
پدیدآورنده : / by Richard William Carr
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming,Virtual storage (Computer science)
رده :
QA76
.
6
.
C377
2483. Visual content indexing and retrieval with psycho-visual models
پدیدآورنده : Benois-Pineau, Jenny
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Pattern recognition systems,، Content-based image retrieval,، COMPUTERS / General
رده :
TA
1637
.
V65
2017
2484. Visualising Facebook :
پدیدآورنده : Daniel Miller and Jolynna Sinanan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Facebook (Electronic resource),Facebook (Electronic resource),Image (Philosophy),Online social networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Image (Philosophy),Online social networks.
رده :
HM743
.
F33
M55
2017eb
2485. WCF 4.0 multi-tier services development with LINQ to entitie
پدیدآورنده : Mike Liu
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Microsoft Windows (Computer file),Application software, Development,Service-oriented architecture (Computer science),Microsoft LINQ,Microsoft Visual studio,COMPUTERS, System Administration, Windows Administration., bisacsh,COMPUTERS, Operating Systems, DOS., bisacsh,COMPUTERS, Operating Systems, Windows Server & NT., bisacsh,COMPUTERS, Operating Systems, Macintosh., bisacsh,COMPUTERS, Operating Systems, Windows Workstation., bisacsh,Electronic books
2486. WCF 4.0 multi-tier services development with LINQ to entitie build SOA applications on the Microsoft platform with this hands-on guide updated for VS2010
پدیدآورنده : Liu, Ming T.)Ming-Tsan(, Mike Liu
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Microsoft Windows )Computer file(,، Application software, Development,، Service-oriented architecture )Computer science(,، Microsoft LINQ,، Microsoft Visual studio,، COMPUTERS, System Administration, Windows Administration., bisacsh,، COMPUTERS, Operating Systems, DOS., bisacsh,، COMPUTERS, Operating Systems, Windows Server & NT., bisacsh,، COMPUTERS, Operating Systems, Macintosh., bisacsh,، COMPUTERS, Operating Systems, Windows Workstation., bisacsh,، Electronic books
2487. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : edited by J.D. Becker and I. Eisele
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
253
2488. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : WOPPLOT 68, )6891, Neubiberg, Germany(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253
2489. What can be automated? : The computer science and engineering research study )COSERS(
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computers,، Electronic data processing
رده :
QA
76
.
W49
2490. What kind of information society? Governance, virtuality, surveillance, sustainability, resilience
پدیدآورنده : / Jacques Berleur, Magda David Hercheui, Lorenz M. Hilty (Eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer science, Congresses,Information society, Congresses
رده :
E-BOOK
2491. When computers were human /
پدیدآورنده : David Alan Grier.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calculus-- History.,Mental calculators-- History.,Science-- Mathematics-- History.,Angewandte Mathematik,Angewandte Mathematik.,ASTRONOMY.,Berekeningen.,Beroepspraktijk.,Calculus.,CALCULUS.,ENGINEERS.,Funktion,Funktion Mathematik,Handwerk.,Mental calculators.,Numerische Mathematik,Rechenmaschine,Rechenmaschine.,Rekenen.,Science-- Mathematics.,SCIENCE.,Tabelle,Tabelle.,Wetenschapsbeoefening.,Wissenschaftliches Rechnen,Wissenschaftliches Rechnen.
رده :
QA303
.
2
.
G75
2005
2492. Wildbad im schwarzwald, Ger.,1974
پدیدآورنده : / Programming methodology. 4th informatik symposium, IBM Germany wildbad sept. 25-27,1974 Edited by Clemens E.Hackl
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Programming (Electronic computers) - Congresses
رده :
001
.
642
I43p
1974
2493. Windows 7
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information systems.,Operating systems (Computers),Computer science.,MCP,Operating systems (Computers),Unternehmen,Windows 7
رده :
QA76
.
76
.
O63
2494. Windows PowerShell
پدیدآورنده : / Don Jones, Jeffery Hicks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Windows PowerShell (Computer program language),Microsoft Windows (Computer file),Computer programming,Scripting languages (Computer science),Operating systems (Computers)
رده :
QA76
.
6
.
J663
2006
2495. Windows PowerShell
پدیدآورنده : / Don Jones, Jeffery Hicks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Windows PowerShell (Computer program language),Microsoft Windows (Computer file),Computer programming,Scripting languages (Computer science),Operating systems (Computers)
رده :
QA76
.
6
.
J663
2006
2496. Windows PowerShell cookboo
پدیدآورنده : / Lee Holmes
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Microsoft Windows (Computer file),Operating systems (Computers)--Programming,Scripting languages (Computer science),Systems programming (Computer science)
رده :
QA
,
76
.
76
,.
O63
,
H6485
,
2008
2497. Windows Virus and Malware Troubleshooting
پدیدآورنده : Bettany, Andrew
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer science,، Operating systems )Computers(,، Malware )Computer software(,، Computer security
رده :
TL
272
.
B37
2017
2498. Wireless Sensors in Industrial Time-Critical Environments
پدیدآورنده : Jose Ceci lio, Pedro Furtado
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Wireless sensor networks,، Computer science,، Computer Communication Networks,، Control,، COMPUTERS / Computer Literacy
رده :
TK
7872
.
W3
2014
2499. Wireless sensors in industrial time-critical environments
پدیدآورنده : / Jose Cec?lio, Pedro Furtado
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Wireless sensor networks,Computer science,Computer Communication Networks,Control,COMPUTERS / Computer Literacy, bisacsh,COMPUTERS / Computer Science, bisacsh,COMPUTERS / Data Processing, bisacsh,COMPUTERS / Hardware / General, bisacsh,COMPUTERS / Information Technology, bisacsh,COMPUTERS / Machine Theory, bisacsh,COMPUTERS / Reference, bisacsh
رده :
E-BOOK
2500. Wireless technology prospects and policy options
پدیدآورنده : Committee on Wireless Technology Prospects and Policy Options, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Wireless communication systems, Government policy, United States,Electronic books
رده :
TK
،
5103
.
2
،.
N398
،
2011
